搜索
群论领域几十年无解的第21.10号问题，被牛津数学家Marc Lackenby用谷歌一个新系统破解了。过程也很有意思：AI第一次给出的证明是错的，被系统里的审查Agent揪出了漏洞。
「AI 中转站」正是在这两大限制的夹缝中生长出来的。他们用海外服务器充当跳板，用人民币支付替代外币信用卡，把顶尖算力以「代购」的方式转交给受限地区的用户。这门原本藏在灰色地带里的生意，如今却吸引了一批名人高调入场。
江苏南京执业律师李小亮发现，在百度手机 APP、百度网站搜索其个人姓名+职务时，百度“AI 智能回答”竟然给出“李小亮律师被判三年有期徒刑”的错误文字内容，并配上他着律师袍的照片。
AI 基础设施初创公司 RadixArk 宣布完成 1 亿美元种子轮融资，投后估值 4 亿美元。无论金额、估值还是投资人阵容，这都是 2026 年 AI Infra 赛道中目前最重的一笔早期下注。
Span 2018 年起家时做的是智能电板，卖给业主帮他们省电费。它的电板能识别每户人家电网接入端的实际可用容量。美国住宅一般标配 200 安培的服务等级，日常负载远低于此。空出来的那部分电力过去没被任何人定价，Span 现在打算把它用来跑 AI 推理。
Jim Fan 在红杉资本 AI Ascent 最新观点，信息量极大，机器人物理AI很快就会迎来突破，答案就在视频模型，路径就是LLM的突破路径,Jim Fan把机器人的未来路线图比作文明游戏里的科技树，还剩三个成就要解锁,2040年就是终局
就在今天，OpenAI 的 Codex 团队开发者体验工程师 Jason Liu 发推公布了一个「小而有爱」的项目：OpenAI 官方推出了命令行界面工具 openai-cli，开发者只需在终端敲下一行命令，即可直接与 OpenAI 的最新模型深度交互，打破了过去SDK的限制。
就在昨天，全球AI四极格局一夜崩塌！xAI解散、22万张GPU归入Anthropic，下一代模型三大方向也曝光了。今天，Anthropic研究院成立，AI 2027的许多预言已经成真——AI终局战，已经刺刀见红。
其中，大家「讨伐」声量最大的莫过于 ChatGPT 了，从 AI 味儿熏人的经典破折号、「不是 A，而是 B」句式，以及前段时间间歇性出现的「哥布林」，再到如今充满青春伤痛文学矫情劲儿的「我会稳稳接住你」，用户快要被折磨疯了：我们关系可以亲密，但没必要这么亲密。
这几天有好几个小伙伴@我说，我的开源工具在他们问 AI 的时候被主动推荐了，啥也没做居然可以被收录，想着要不花一个小时把内容结构化整一整，应该会更好，于是整好以后，快速发了一个速记推，但是内容结构不清晰，想着大家很感兴趣，那要不就整一个结构清晰的文章便于沉淀和查找。